конечное утверждение

См. также в других словарях:

• конечное утверждение — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN final assertion …   Справочник технического переводчика

• Логика Бэрроуза — Логика Бэрроуза  Абади  Нидхэма (англ. Burrows Abadi Needham logic) или BAN логика (англ. BAN logic)  это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов… …   Википедия

• ГУМАНИСТИЧЕСКОЕ (́ЭКЗИСТЕНЦИАЛЬНО-ГУМАНИСТИЧЕСКОЕ, ОПЫТНОЕ) НАПРАВЛЕНИЕ В ПСИХОТЕРАПИИ —         Одно из трех основных направлений современной психотерапии, к которым причисляют также динамическое и поведенческое (Parloff M. В., 1975; Karasu Т. В., 1977). Это направление наименее однородно. К нему относят экзистенциальную… …   Психотерапевтическая энциклопедия

• ТЕРМОДИНАМИКА — наука о наиб. общих св вах макроскопич. физ. систем, находящихся в состоянии термодинамич. равновесия, и о процессах перехода между этими состояниями. Т. строится на основе фундам. принципов (начал), к рые явл. обобщением многочисл. наблюдений и… …   Физическая энциклопедия

• ваганты — (от лат. vagantes  бродячие) (голиарды), в средневековой Западной Европе бродячие нищие студенты, низшие клирики, школяры  исполнители пародийных, любовных, застольных песен. XII XIII вв.  время расцвета вольнодумной, антиаскетической… …   Энциклопедический словарь

• КОНФИГУРАЦИЯ — конечное множество точек, прямых, плоскостей, связанных между собой взаимными инцидентностями. К. могут быть как плоскими, так н пространственными. Плоская конфигурация конечная система рточек и gпрямых на плоскости, расположенных таким образом,… …   Математическая энциклопедия

• Гегель Георг — Жизненный путь     Георг Вильгельм Фридрих Гегель родился в Штутгарте в 1770 г. Его отец был государственным чиновником, и доходы позволяли дать сыну высшее образование. В местной гимназии Гегель изучал греческую и латинскую классику. С годами… …   Западная философия от истоков до наших дней

• РАЗМЕРНОСТЬ — топологического пространства X целочисленный инвариант dim X, определяемый следующим образом. Тогда и только тогда dim X = 1, когда . О непустом тополо гич. пространстве Xговорят, что оно не более чем n мерно, и пишут dim , если в любое конечное… …   Математическая энциклопедия

• ИОАННА БОГОСЛОВА ОТКРОВЕНИЕ — последняя книга НЗ и всей христианской Библии. В рукописной традиции встречается не менее 60 вариантов ее наименования (Hoskier. 1929. Vol. 2. P. 25 27). В самых ранних рукописях (Синайском ( ) и Александрийском (А) кодексах) содержится краткое… …   Православная энциклопедия

• МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …   Энциклопедия Кольера

• БЕСКОНЕЧНОСТЬ — [бесконечное]. 1. Одно из свойств Божиих; 2. Фундаментальная категория человеческого мышления; философское и богословское понятие, обозначающее безграничность и беспредельность как в бытийственном, так и в познавательном смысле. Вопрос о Б.… …   Православная энциклопедия